cons{-}seq($x$;$s$)($n$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$if ($n$ =$_{0}$ 0) then $x$ else $s$($n$ {-} 1) fi